Abstract and symbolic representation